<div>
  <p>
    The initial manifest file to use while initializing the repo. This is passed to repo as
    <code>repo init -m <i>manifestFile</i></code>.  If a manifest file is not specified,
    repo uses the default of "default.xml".
  </p>
</div>
